Hybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time

Authors

  • Abbas Dideban Department of Electrical and Computer Engineering,Semnan university, Semnan, Iran
Abstract:

The existing modeling methods using Petri Nets‎, ‎have been successfully applied to model and analyze dynamic systems‎. ‎However‎, ‎these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals‎, ‎systems including various subsystems and multi-mode systems‎. ‎This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem‎. ‎In this approach‎, ‎discrete and continuous Petri Nets are combined so that the continuous PNs part and the discrete PNs are responsible for past time samples and current sample time‎, ‎respectively‎. ‎To evaluate the performance of the proposed tool‎, ‎it is employed to model a legless piezoelectric capsubot robot as a multi modes system and a $PID$ controller‎, ‎in which the gains tuned by the Genetic Algorithm are designed for the resulting model by HTDPN‎. ‎Results show that the proposed method is faster in terms of mathematical calculations which can reduce the simulation time and complexity of complicated systems‎. ‎It would be observed that the proposed approach makes the $PID$ controller design simpler as well‎. ‎In addition‎, ‎a comparative study of capsubot has been performed‎. ‎Simulation results show that the presented method is encouraging compared to the predictive control‎, ‎which is used in the literature.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

Hybrid Petri nets as an approximation to Markovian Petri nets ?

A Markovian Petri net is a stochastic discrete event system frequently used for analysis and performance evaluation purposes. In the past, the fluidification has been proposed as a relaxation technique for avoiding the ”state explosion problem”. Following the same approach, in this paper a hybrid Petri net model is defined as a partial relaxation of an original Markovian Petri net. It is shown ...

full text

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

Recently, algorithms for model checking Stochastic Timed Logic (STL) on Hybrid Petri nets with a general one-shot transition (HPNG) have been introduced. Currently, an actual tool is being developed for model checking HPNG models against STL formulas. A graphical user interface (GUI) helps to demonstrate and validate existing algorithms. Additionally, the tool gives insight into model checking ...

full text

Mathematical Modeling for Homogeneous Tumor with Delay in Time

Due to the properties of tumor cell, the tumor establishes itself in the organ and grows there, so there is a competition between the tumor cells and host cell (normal cells) for nutrients. Evidences show that high dietary phosphorus increases the rate of protein synthesis and thus the cell number. So, other than oxygen, sulfur, the important element that both tumor cells and normal cells need ...

full text

Romeo: A Tool for Analyzing Time Petri Nets

In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachability properties. It performs translations from TPNs to Timed Automata (TAs) that preserve the behavioural semantics (timed bisimilarity) of the TPNs. Besides, our tool also deals with an extension of Time Petri Nets (Sche...

full text

Model Checking Bounded Prioritized Time Petri Nets

In a companion paper [BPV06], we investigated the expressiveness of Time Petri Nets extended with Priorities and showed that it is very close to that Timed Automata, in terms of weak timed bisimilarity. As a continuation of this work we investigate here the applicability of the available state space abstractions for Bounded Time Petri Nets to Bounded Prioritized Time Petri Nets. We show in part...

full text

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications

We define an extension of time Petri nets such that the time at which a transition can fire, also called its firing date, may be dynamically updated. Our extension provides two mechanisms for updating the timing constraints of a net. First, we propose to change the static time interval of a transition each time it is newly enabled; in this case the new time interval is given as a function of th...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 3  issue 1

pages  45- 64

publication date 2018-04-01

By following a journal you will be notified via email when a new issue of this journal is published.

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023